- 2 402 202 книги
#2
Differential Equations with Symbolic Computation
Dongming Wang, Zhiming ZhengКатегория: Математика, Дифференциальные уравнения
10.27 Mb
#3
Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings (Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence)
Xiao-Shan Gao, Dongming Wang, Lu Yang
2.80 Mb
#4
Automated Deduction in Geometry: Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers (Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence)
Jürgen Richter-Gebert, Dongming Wang
2.01 Mb
#5
Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers (Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence)
Hoon Hong, Dongming Wang
2.81 Mb
#6
Computer mathematics : proceedings of the Fourth Asian Symposium (ASCM 2000)
Xiao-Shan Gao; Dongming Wang (eds.)
14.30 Mb
#7
Differential Equations With Symbolic Computation
Dongming Wang, Zhiming ZhengКатегория: Computer science, Computer algebra
2.98 Mb
#12
Elimination Practice: Software Tools and Applications (With CD-Rom)
Dongming WangКатегория: Computer Science, Software Engineering
10.28 Mb
#15
Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers
Dongming Wang
2.25 Mb
#17
Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings
Xiao-Shan Gao, Dongming Wang, Lu Yang
3.32 Mb
#18
Automated Deduction in Geometry: Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers
Jürgen Richter-Gebert, Dongming Wang
2.43 Mb
